As I had tried to indicate in the report, this is what I would have expected. But the file was different (ISTR that I had checked this with rpm -qV, too), and neither a .rpmsave nor a .rpmnew had been created.... That had been a re-install though - maybe things work different then?