Bug in stat() return value in util_same_file()