gnome-terminal 3.12: enable nautilus extension