Another possible fix for #810
Regenerate build files for #810 [ci skip]