7940: rename files