Fix "make distcleancheck" by deleting the nicira-ext.h stamp file too.