add a few config.h macros useful for dune-common