add forgotten ifdef and fix PHP < 5.4 (issue #16)