Fix racket-ws errors

This resolves the problems that made racket-ws listed as "Did not complete" in benchmark 9.