Fix build on Linux machines.