Мы закончили с Удаленным исполнителем для сервера терминалов , чтобы справиться с этим.
Нам пришлось поговорить с разработчиком и попросить его создать 64-битный клиент, но он сделал это, и теперь мы используем это решение. Он работает очень хорошо, просто подумал, что выложу обновление для любых будущих поисков.