in vain attempt to shorten pathnames on Windows. See lp#665657 and the 260 char limit of Windows pathnames(!)