Delete codelab1solution.php~