fix compilation on Linux/gcc