Added hasksyn and updated submodules.