vic/elixir_idris not found