gnome-terminal 3.10 no longer accepts --disable-factory #428