Update to newest Idris release