This patch updates GNU Artanis to the latest version.  I also needed to
set DESTDIR because the build system installs some files to
“$DESTDIR/etc/”.

~~ Ricardo