Remove empty.h from CLEANFILES, so that after mkfiles.pl has
[u/mdw/putty] / sshgssc.h
2010-05-19 simonPatch from Alejandro Sedeno, somewhat modified by me...