Change to use 64bit ubuntu