VirtualBox: fix SHA1