Bugfix: Windows lacks sleep(), so need to use Sleep() from util.h