Fix broken build on Linux.