Make CHECK lines a bit less strict so they also match code generated for win64.

Hopefully brings the windows buildbots back to life.