fix for 32bit os