Fix build issue on Linux