We were formatting ccflags wrong on windows.