Included patch by Pauli allowing user to specify the provided submodules