Fix batman compilation by using EXTRA_CFLAGS and not overriding CFLAGS