Comment 3 for bug 356993

Fix it for me too... another temporary workaround is to kill the parent terminal, and not quit the game... works until the next game, where you're screwed ^^ (very weird imho).