upgrade to racket6