New option in config.h.in