Re: [GHC] #9930: By default, a source code without extension would get overwritten by executable on *nix