Upgrade wmsy to avoid horrible infinite loops.