[Tachyon-list] -x64 -> -x86_64

I noticed that the command line option -x64 has been added to Tachyon. That should be -x86_64 if we want to stay with the official naming scheme. Marc