For compilation on Linux