Add version
Don't complain if errors are off and request cancelled for idris-eval