Fix bootstrap.h broken by the fix for the out-of-source build.