fix for 32bit builds