Add .rkt extension to the generated file.