Fix bootstrap for easy name change.