issue #62: Allow specification of file encoding for Integrity script
files separately from system default encoding