adjusted to changes in API of rofl::crofdpt