tutorials/proof/event.par: update Makefile, Makefile.arch