Port to idris-0.9.11.1.