[Bug 1171967] tkdiff /dev/null somefile no longer works