F18: switching workspaces takes 10 seconds