A word to those using gretl git. The branch named "newcomplex" has now
been merged into master and removed. I recommend doing the following
in your gretl git directory:
git branch master
git fetch --all --prune
after which you can switch back to whatever other branch (other than
"newcomplex") that you were using previously.
Allin