Swap back to 64 bit ubuntu