Supporting coq 8.4 and metatheory revision 214