Fixing compilation on Linux