Fixed a compilation problem for Linux.