fixies for 64bit