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