fix for 32bit environment