Fix build on Linux.