Error: nios2-convert-ide2sbt: command not found