add missing file, change encoding