The problem does not occur on a 32bits-only installation.
Maybe that old bug is relative https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=633825 ?
The problem does not occur on a 32bits-only installation.
Maybe that old bug is relative https:/ /bugs.debian. org/cgi- bin/bugreport. cgi?bug= 633825 ?