Bring the dormant EXTRA_DEFINES option to life