Update for idris 0.9.9.3