Go to the Enter Keyword text box at the top right of this web page and type in "PBS12DT256_DEMO.zip". That should take you straight to a page with the archive on it. Download that file, and it has the pbs12dslk.h header file (and others) that you need. Hope this Helps.
---Tom