Fixed Makefile after branch-delete screw-up.