This extremely minor and probably naive (sorry), but if you recorded the mtimes instead of the paths here, couldn't you support non-copying imports? That way, you could get the mtime before importing, so original the file would not have to exist in a pristine state when you copy the timestamp.