to avoid memory address space issues on 32-bits systems (see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=876416#17)