Those changes all look good to me. I've put them in. Note that config.h.in is not a generated file; I amended the log entry appropriately. In future, please always include a standard header line with log entries. Thanks, Roland