Make the dotty patch conditional on stable branch only.