misc: always stay up-to-date with master branch of git submodules