Fix incompatibility issue with PHP < 5.4

Fix issue #134