Hm, if this is required it should probably be changed in the main Make.inc.in and not done as a debian specific patch?