Fix F5 not doing anything on the desktop; this is useful not only when kdirwatch is broken but also when the mimetype of a file changes (e.g. cp /dev/null foo; echo bar > foo -- changes size but also mimetype).