fix compilation error on Linux