Fix compile error on Linux