sophia: update submodule (MacOSX build fix)