I have no idea. You need to take it up with Steven. Even if we put it in, this should be in CFLAGS, not added inline like that