Revert build.dir change in build.xml

It breaks patch.py if the path has spaces. I'll edit it myself locally
when need be.