Fixed issue with builds on PHP version 5.3