minikrebs is now a submodule