[Gretl-users] gretl crashed while searching for file within GUI