Add and remove some ignore-win32 flags

This fixes the easy parts of #12745.