options: rename --defines as --header