[Michlib-l] BHPL library building renaming