[demosthenes2k8]

Thanks for making a thread about it!
We had this problem a little while ago, and ended up building the library and storing it in our repository, so that once a team member loads the repository, they get it and can put it in the right folder to link to it.