fixed a compile error on Linux (see diff and comment)