Fix a problem on 32bit machines