Bug fix: SplFileInfo::getExtension() not available for php < 5.3.6