VirtualBox port fails to install (Pkgbuild and post-install race condition)