Thanks for the prompt reaction, Scott.
for the record, my Pi is running Raspian Wheezy.
When I downloaded arduino-1.0.1-linux.tgz from arduino.cc to my Oracle VB Debian (on a Win7 box), WebServer compiled ok, as did my program. I did, as with the other 1.0.1 installs, have to update the SdFat library.
I have not attempted to download the Arduino.cc version to the Pi, and will try that today.
I will keep watch for further updates.
Jack