fix for 64bit platforms