@4e608bb8 Then don't put an extension on. Like I said, the entire point of the extension is to tell someone which interpreter to use on the command line.