Fix recipes #237

Job	Run time
archives-cache	14s
build (ubuntu-latest, 4.02.3)	7m 34s
build (ubuntu-latest, 4.03.0)	8m 51s
build (ubuntu-latest, 4.04.2)	7m 48s
build (ubuntu-latest, 4.05.0)	7m 53s
build (ubuntu-latest, 4.06.1)	7m 49s
build (ubuntu-latest, 4.07.1)	7m 47s
build (ubuntu-latest, 4.08.1)	2m 54s
build (ubuntu-latest, 4.09.1)	3m 3s
build (ubuntu-latest, 4.10.2)	3m 11s
build (ubuntu-latest, 4.11.2)	3m 30s
build (ubuntu-latest, 4.12.1)	2m 59s
build (ubuntu-latest, 4.13.1)	2m 53s
build (ubuntu-latest, 4.14.0)	2m 47s
build (ubuntu-latest, 5.0.0~beta2)	1m 4s
build (macos-latest, 4.12.0)	3m 42s
hygiene	10s
test (ubuntu-latest, 4.12.0)	12m 0s
test (macos-latest, 4.12.0)	0s
cold (ubuntu-latest, 4.12.0)	5m 19s
solvers (ubuntu-latest, 4.12.0, z3)	8m 38s
upgrade (ubuntu-latest, 4.12.0)	1m 32s
solvers (ubuntu-latest, 4.12.0, 0install)	8m 44s
upgrade (macos-latest, 4.12.0)	2m 33s
solvers (macos-latest, 4.12.0, z3)	7m 0s
solvers (macos-latest, 4.12.0, 0install)	6m 50s
	2h 6m 45s

Provide feedback