CONFIGURE_FILES=@CONFIGURE_FILES@
GENERATED_FILES=@GENERATED_FILES@