proper file encoding specification