avalon.c: fix the copyright