Remove useless EXTRA_CFLAGS stuff