the problem is exactly the same described (and fixed) for the mysql-gui-tools at bug #158477 emerging the gui-tools solved the problem Reproducible: Always
*** This bug has been marked as a duplicate of bug 158477 ***