Some updates to gretl.