Link CVC4 library