Fixes for buliding for 32bit targets: