Actually use EXTRA_CFLAGS