Fix a build error on Linux