Fix stdlib submodule