Adding CFLAGS_EXTRA option to append to CFLAGS