add ghcHEAD and cvc4HEAD