Mission accomplished, Travis just turned green again on master :-) https://travis-ci.org/openssl/openssl/builds/645563965?utm_source=github_status&utm_medium=notification Thanks to Matt, Richard and everybody else who participated in fixing it. Matthias