Rename files to make them work