3.5的extensoins库在哪里？

[1111006 (其实我也不知道)]

我在项目里找了半天没有找到，但是在引擎里找到了.A文件
也没有找到libextensions

[lion]

需要使用download-deps.py下载的