Use 64 bit ubuntu