Fix fetching of a1cs