Use a newer guest additions ISO to get around this VirtualBox bug: https://forums.virtualbox.org/viewtopic.php?f=3&t=62485.