Deprecated. 

Now built into build-trees.py