Fix 'Call to undefined method SplFileInfo::getExtension()' on PHP5.3.3