Switching linux to 64-bit