Fix options.ivd
Fix the filename of IVD.json