fixed up project names after renaming some git repositories