workaround for coq-8.5.1 issue? (#403) · Issues · pub / frama-c