Fix coqc -time (Closes: 3201)
MSWin Fixes

Conflicts:
	configure