readlink reads the link and returns the true file name that a link points to
$true_file = readlink($file);