util.h: Include WIN32 compatibility wrappers for sleep() and __sync_fetch_and...()