Allow users to specify file encodings when they aren't detected.