Fix a compilation warning (simulator build on 64-bit host).