fixing bug, RooGenericPdf was not included