Make the "certify" module compile