Fixed the extension to be .rkt instead of .racket in all files