explicit <?php tag in eprints export