Double-check git submodules in Makefile