Thank you very much for the detailed bug report and the patch. We've applied your patch but removed the redirection to stderr to help understand the error in case of failure.
Thank you very much for the detailed bug report and the patch. We've applied your patch but removed the redirection to stderr to help understand the error in case of failure.