make easier to switch between 32 and 64 bit