fix bug (missing import in LibpfmFormula