re fe58ab2bf62e8a2286f0bd3f580e34de9c3c9fd7: fix copied file extension