risolto bug augeas