             resolve @agdaProcess
         else
             @getExecutablePath().then (path) =>
-
                 # Agda program arguments
                 args = @getProgramArgs()
-                args.unshift '--interaction'
+                args.push '--interaction'
                 agdaProcess = spawn path, args
 
                 # catch other forms of errors

                    resolve path
                else
                    reject new InvalidExecutablePathError data.toString(), path
        catch error
            reject new InvalidExecutablePathError error, path



    info: =>
        @getExecutablePath().then (path) =>
            args = @getProgramArgs().join(' ')
            child = exec "#{path} #{args} -V", (error, stdout, stderr) =>
                if error
                    @core.panel.setContent "Error", "#{error}", 'error'
                else
