Fix: path to realfile in verbose output