knuthd dummy file