fixing compilation on debian