mark mysql workbench52 broken too