[Spec] rename libmlpl -> libhfl