warning: use isNaN rather than the <>= operator
rand: cast to an integer explicitly
stagemanager: ODE is seeded with a uint
boot: remove unnecessary Windows boot code
logger: use the proper Windows version symbol