fixed various bugs inserted in https://github.com/globaleaks/GLBackend/commit/a084b384055c7f8c305d2a8c80de757c770bd1f1