Added AMD-64 cross-compiled stalin-.c file, makes ./build "turnkey" on a 64-bit Ubuntu

... and benchmarks/compile-and-run-stalin-old-benchmarks benchmarks seems to compile and run after adding AMD64 to the list of cases.