xmlpool/build: generate options.h via BUILT_SOURCES