Fix hdiv-config tests