Workaround a limitation of Functional Scheme.

By renaming the fixpoint in order to define the right one with Eval
Cbv... we can workaround the limitation of Fuctional Scheme that
cannot deal with fixpoints that do not share their names with the
corresponding constant. It may be fixed in coq 8.5.