Build #1:   Fix the two CI failures, and close the gap that let one through The 32-bit job caught ... on branch master 11 days ago