Rename 1.1.7.rkt to ch1.1.7.rkt