Delete DefaultRights.php~