fix against https://github.com/globaleaks/GlobaLeaks/issues/585

ready to be merged.