update bootstrap to match new compile call correctness theorem