Make the 'clean' target faster when run from a git repository