Fix for old php versions