fix for MacOSX 64bit