The `bootstrap` file should always be there for HEAD and devel builds, right?