For compilation on ubuntu