public function getFilename()
{
$filename = parent::getFilename();
// special case when dealing with root dir of reference
if (($pos = strpos($filename, ':')) !== false) {
$filename = substr($filename, $pos + 1);
}
return $filename;
}
