Minor update to allow recompilation with current version of opa