Small fixes to make MySQL code work on Windows.