include RELIC-INFO exclude verhawk/version.py prune .git prune relic