Fix the missing bootstrap file, once and for all...