Add openvc dependency