Another manual fix for saved bootcamps