bug in option setting

[git-p4: depot-paths = "//depot/private/jchin/HBAR-DTK/": change = 135968]
   fix dependency and bump up minor version

[git-p4: depot-paths = "//depot/private/jchin/HBAR-DTK/": change = 135973]
bump minor version / fix dependency