Fix the file picker (see #5574)