virtualbox: fix