make it easier to pick between 64bit and 32bit version