Small fix to make it work with x64
Fix compatibility with gcc