[Gretl-devel] 'make clean' failure in git with regls addon