Fixed the hugnetlib version requirements for bug #7397.