I'm not sure but this seems to be the workaround that has been applied in 4.2.14: https://www.virtualbox.org/changeset/46576/vbox
And this the proper fix included in 4.2.16: https://www.virtualbox.org/changeset/46904/vbox -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
