Bug in file-truename