Regenerated build/
Merge pull request #1680 from sjinks/1.3.0

Make sure 1.3.0 can be built from build/