fixing giff so that it still works when there is no GOOLS_DIFFTOOL value specified