Update hasmt submodule