addressed issue/316

this pull request must be merged together with https://github.com/globaleaks/GLBackend/pull/141