Fix so it compiles in 64bit systems