Coq dependency changed to >= 8.4pl4