fixing travis errors introduced by some bugfixing :) https://travis-ci.org/globaleaks/GLBackend/builds/6521546