If they include work derivative of a GPLed work they don't have to change the license. The license just has to be compatible and redistribution has to conform to the requirements of the GPL.

This distinction is important because someone could take the non-GPL part and distribute it separately under the original license.