one more bugfix in libhl