Re: Filetypes in get-open-file