let coqc log w script =
    goal w script >>=
      fun fgoal ->
        let denv = Wp_parameters.get_output() in  
        let timeout = Wp_parameters.Timeout.get() in
        let stdout = Buffer.create 512 in
        let args = [|  "-noglob";"-I" ; denv ; fgoal |] in
        Log.command log "coqc" args ;
        Task.command ~timeout ~stdout "coqc" args
        >>? Log.output log stdout