replace <? marks with <?php