Mantis (php) codebase includes a module which comes from a 3rd party project and is licensed with a "free for non commercial use" style clause which is, AFAICT, incompatible with the GPL. Is removing the offending file from the rpm package during %install enough? Is upstream compelled to remove it as well?