fix compiler error on Linux