Added Linux x86_64 specific files. (#553)
Use files in vm/binaries/ when generating binaries.idx.