Fixes problem with current active shell on Linux with Gnome