The attached patch fixes this issue and also skips duplicate input files. I sent it to upstream by email, but haven't heard back.
The attached patch fixes this issue and also skips duplicate input files. I sent it to upstream by email, but haven't heard back.