Fix exception in case of unrecognized source file encoding