Delete hello_world.php~