Just another tweak of the makefile