Fix building on 64-bit systems by using better types from stdint.h