Sri,
Do you recall how you obtained XDC tools 3.25.04.88? Was it from the TI-RTOS product? TI-RTOS ships a "stripped down" version of XDC tools, so I am wondering if you may have gotten it that way.
I just made a fresh install of that version of XDC and verified that the libraries are there. I would recommend that you try to re-download/re-install it, then point your project to the newly installed version.
You can download it here.
Steve