fix confusion over 32-bit (it is supported)