[Hat] solved: [Fwd: "-package hat library not found." problem]