Coq dependency version changed to >= 8.4pl4