Typo in git repo name
Added support for a --has_aux option