Adapt to changed InfTextFilesystemFormat API