Fix compilation on 64-bit Linux (and keep Windows working, hopefully)