whoops, forgot to remove no longer needed .gitmodules