mksh filetype