[plt-scheme] building 4.0.2 on 64-bit Ubuntu

My tech support person here at UW, having successfully installed 4.0.2 
on a number of Solaris servers, is trying to build it for some Linux 
servers, and is running into difficulties, apparently related to the 
fact that these are 64-bit machines. He would like to know if anyone has 
a working 4.0.2 (64-bit) image on Ubuntu (and, presumably, if such a 
person would be willing to correspond). Thanks. --PR

(PS He mentioned in passing that apt-get got him v209...!)