setting file extensions of racket modules to rkt