Fix name of the solc binaries for Certora #363

Job	Run time
verify (ConsistentState)	33m 30s
verify (DistinctIdentifiers)	12m 2s
verify (Enabled)	10m 35s
verify (Immutability)	13m 13s
verify (LastUpdated)	12m 51s
verify (Liveness)	17m 16s
verify (MarketInteractions)	13m 52s
verify (PendingValues)	30m 9s
verify (Range)	16m 45s
verify (Reentrancy)	10m 48s
verify (Reverts)	13m 12s
verify (Roles)	13m 33s
verify (Timelock)	20m 10s
verify (Tokens)	14m 2s
	3h 51m 58s

Provide feedback