mate-1.7.0: use pluma in EXTRAS