Removed pt-same-file-p