Added back the sim-64bit flag that I accidentally deleted.