7i80hdt missing Mesa bitfile

I'm replacing a 5i24 PCI card with the ethernet equivalent (7i80HDT): outputs go through a 7i33 + 2 7i37s. A previous posting (but referencing a 7i80HD-16) here said that the SVST4_8 bitfile would appropriately configure the card. Although the file is referenced in the manual, the file (neither .bin or .pin) does not exist in a newly downloaded (8/24/26) file set for the HDT card.
Where can I find a copy of the needed bitfile?
 

You can use 7i80hdt_sv12d.bin (for 3 7I33s)
 Just enable 4 encoders and 4 PWMgens and the
rest of the pins will revert to GPIO (for the 7I37s)