fixes against travis build https://travis-ci.org/globaleaks/GLBackend/builds/9056431
fix against travis build https://travis-ci.org/globaleaks/GLBackend/builds/9059312