comment out extraction to make Makefile output easier to follow
adjust copy_fib to work with the Racket expansion: admit obligations