Adapt to openmole 0.10 API.