Fix ubuntu compilation