Don't use PHP short tags

They're not always available.