Delete option.php~