git submodules are so horrible in practice