Add Benjamin submodule