Fixes to WPILib source so that it works on Win32