metomi/rose#610: more crash information
metomi/rose#610: refactor options