divorce the compiler from the master branch to enable coq-ext-lib moving
forward.