Fix #1277
Regenerated files in build/ [ci skip]