Now that VirtualBox Mac support is imminent, add vmware-specific build options