gitk: Fix "External diff" with separate work tree