metomi/rose#411: remove old option