Makefile: clean, leaked code from devel repo to production repo.