Fixed a small building issue on Linux.