check_repos now byte-compiles elisp