Bugfix: <? to <?php to fix problem on different PHP configurations, e.g., arch linux