gnonlin: rename to gnonlin-git.