rename some files to be consistent with dash-separated format