Remove old <?php things