Rename a9-8.rkt to a9-08.rkt