add cryptlib.h to mkdef.pl