Fix name of the solc binaries for Certora #364

Job	Run time
verify (ConsistentState)	39m 43s
verify (DistinctIdentifiers)	11m 53s
verify (Enabled)	16m 28s
verify (Immutability)	12m 49s
verify (LastUpdated)	10m 45s
verify (Liveness)	17m 18s
verify (MarketInteractions)	13m 34s
verify (PendingValues)	28m 27s
verify (Range)	24m 56s
verify (Reentrancy)	11m 31s
verify (Reverts)	13m 48s
verify (Roles)	11m 26s
verify (Timelock)	20m 56s
verify (Tokens)	13m 54s
	4h 7m 28s

Provide feedback