nimrod >= 0.94 (fixes #2)