Yet another small change in the makefile.