Fix bootstrap for non-coverage mode