ignore-timing-option.diff