cat config/build.* config/build1.* > build
echo "Machine name ? (e.g. puddle.mit.edu)"
echo "setenv MYADDR //"$< >> build
cat config/build99 >> build
chmod +x build