proper 64bit support