src/encodings: Rename a few files