Make it compile under Linux