Compatibilities updated to coq >= 8.4pl4