Fix a 32 bit bug with boost