fix bug in git submodule (hope so)