Clean up leftovers in build directory now that it is .gitignored.

This cleans up the build dir that exists in the master branch. Github should merge this properly, however, the first update of your git tree after the merge may require blowing away the "build" directory to keep git from complaining about it.