Fix #2816 renaming shared files