Revised windows init #448

Job	Run time
Analyse	48s
Test-macOS (4.14.1)	33m 59s
Build-macOS (4.14.1)	2m 48s
Cygwin	6s
Build-Linux (4.08.1)	1m 55s
Hygiene	38s
Build-Linux (4.09.1)	1m 55s
Build-Linux (4.10.2)	1m 55s
Build-Linux (4.11.2)	1m 55s
Build-Linux (4.12.1)	1m 55s
Build-Linux (4.13.1)	1m 38s
Build-Linux (5.0.0)	1m 55s
Build-Linux (5.1.1)	1m 56s
Build-Linux (4.14.1)	1m 54s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.1)	38m 37s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	17m 29s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	16m 51s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.1)	20m 20s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.1)	23m 50s
Upgrade-Linux	0s
Solvers-Linux	0s
Cold-Linux	0s
Test-Linux	0s
Solvers-macOS (z3, 4.14.1)	24m 17s
Solvers-macOS (0install, 4.14.1)	5m 49s
Upgrade-macOS (4.14.1)	3m 8s
	3h 25m 38s

Provide feedback