more 64bit related stuff