Workaround for php <5.4.0