Fixes to catch up tcr-colonyjit branch.

`ms`? an integer increment isn't a good millisecond timer in C like it is in some code on this device :)