tmp fix for 64bit