Correct for 32bit target: breaks tests