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

            resolve @agdaProcess
        else
            @getExecutablePath().then (path) =>

                # Agda program arguments
                args = @getProgramArgs()
                args.unshift '--interaction'
                agdaProcess = spawn path, args

                # catch other forms of errors

                    resolve path
                else
                    reject new InvalidExecutablePathError data.toString(), path
            agdaProcess.stderr.once 'data', (data) =>
                reject new InvalidExecutablePathError data.toString(), path
        catch error
            reject new InvalidExecutablePathError error, path

