Compatibility with Coq's trunk