
In case of any type of failure,
rename old_good_gnu/ to gnu/.

