Now the VMware builder should automatically pick between Fusion 5 and
Workstation 9, based on which one is installed.