Fix model checker on first boot