no more set_theme.php