Use updated bootstrap binaries

Fixes #5335.