fix compilation on Linux