For compilation on Linux (hum hum)