fix 64bit portability