Updates after doing a "make distclean"