fix <? to <?php