[Minor] Update Coq path for 8.4