Got rid of the .gitmodules file from the repository, which appeared to
be causing some annoying issues.