PKG_CPPFLAGS = -DTMBAD_FRAMEWORK \
	-DEIGEN_PERMANENTLY_DISABLE_STUPID_WARNINGS \
	-DRCPP_NO_MASK_RF_ERROR
