use os.path.realpath