fixing compilation on Linux