(received --mono-no-redirect, stderr was not captured)