Fixed bug #57: accept program source files also as UTF16 (not only UTF-8)