Comment 46 for bug 58232

Here is script to be used as a launcher for gnome terminal for people with this issue.