Hi Holger, I bet you'll like these patches[1], it's your pick, let me now and i can patch on my [debian] side so we have reproducible hoichess builds before you make a new release.
[1]https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=847768 Samuel Henrique <samueloph>
