gretl-2016b-fix-desktop-file.patch gretl-2026d.tar.xz gretl.spec gretl_plugins.txt