updated libhl (some minor potential bugs have been fixed)