After some further investigation i found the problem was OS version selection in VirtualBox: by selecting "Debian (64 bit)" instead of "Debian" the reported problem disappeared.
So this report can be removed/closed. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
