Fixing a nasty error , setting x64 as default