Rename e31 to e31.rkt