During a regression, certification in this directory is controlled by
./Makefile, which is invoked by ../Makefile.
