/systems/win32/texed/