Optimized file still serves the original when a duplicate exists

An optimize now always writes its result, in place or to a new path for a shared file. The record and the file on disk now match.