Updated files to work with Idris 0.9.8.1