Close #843. Fix minor issue with racket install