Finally figured out how to build CVC4's C bindings