Delete theme_options.php~