metomi/rose#884: rename files