Fix for new idris-eval