Fix a warning.
Avoid interference between verbose output and communication between ampl and tableproxy via pipes