Fix build on Linux