Hi Paul,

 > How about the attached patch instead?

yes, that patch fixes the build on travis-ci. Thank you very much for
your help!

Best regards,
Peter

Reply via email to