It seems that the libraries options are different to the Extension ones. is it intentional that macros <> define_macros and that there is no equivalent to undef_macros? -- Robin Becker