Delete coq_cps_fib.v~