deactivate hets-version check on develop.ontohub.org.