Update utils.rkt to work on 5.92