Oops -- missed a file.
Makefile tweak.