Require ROFL >= v0.6.0