don't call mutter_workspace.index() for workspace.toString(), because sometimes it segfaults (!)