metomi/rose#884: remove superfluous export