Fix building under Linux.