avoid errors while building under Ubuntu