Install right version of Augeas (and small bug fixes)