If it does download the ppd file marked finisher otherwise download the ppd file marked no finisher.
NOTE: The first time you print to a specific printer, the print queue notification will pop up, informing you that the print job status is "On-hold (Authentication Required)". You may also set that printer to be your default printer by selecting it from the drop-down menu on the Print & Fax page in System Preferences. The printer should now appear under the list of available printers. All other settings will be left as default. Check the box next to "Optional Finisher". Under "Hole Punch Type" select "Non Metric Hole Punch".
This will install the software you need to select later when adding the printer. Tell it to continue without selecting a printer. During the install, you will reach a point where the install wants to search for printers. Download the DMG file and install it on your system. This will still work on newer versions of OSX. The latest driver from Xerox for Macs is for OSX 10.10.