add rot13 to source encodings as well