attempted workaround for https://www.virtualbox.org/ticket/8463