Fix building under Linux