Auto detect CVC4 library