mate-terminal: removed obsolete configure option