ppsimpl.0.1+dev compatible with coq_extlib