Travis vms seems to be 64bit now