Recent Coq changes caused zero12 to fail - so compensate.  Also add zero12 to Makefile.