General setup, starting with setup.php.