Fix a build issue on 32bit