Delete readline.php~