Fix build under Linux