Related with the previous change, I suggest to modify the following line at the portmacro.h file of the WIN32 simulator:
#define portMS_TO_TICKS(ms) ( ( portTickType ) (1000*(ms) + (15625)/2)/15625 )
for this one:
#define portMS_TO_TICKS(ms) ( ( portTickType ) [color=red]([/color](1000*(ms) + (15625)/2)/15625 [color=red])[/color] )
adding this couple of parenthesis.
Without the parenthesis and if the portTickType is defined as unsigned portSHORT an overflow occurs within the portMS_TO_TICKS macro with values of ms greater than 57.