distcheck cleanup: clean up and uninstall some files