Use the correct version when bootstrapping.

Fixes #1276.