* (bug 4679) Work around buggy basename() function in PHP5, which breaks