adjust contract-out.rkt to work when it is compiled
adjust framework tests to properly find the racket executable