hack to get gnome-terminal to inherit its environment.