core/lib refers to an actually existing submodule