make uninstall should not fail if some files are already gone