On second thought, let's _not_ use gitmodules