fix for php <5.4