Now uses BatKit as a submodule