short_tag disabled in php 5.3 by default