Re-enabling x64 backend, fixing many bugs.