Regenerated build/
Merge pull request #1822 from sjinks/1.2.5

[master] Regenerate build/