Peter, are you willing to commit this directly as a build fix?  Or would
you prefer a pull request?

Reply via email to