Update: The builds (both SDK and rtdist) seem to have completed successfully! I haven’t yet installed or tested either, but this particular issue seems solved. Thank you again for your help! 
Update: The builds (both SDK and rtdist) seem to have completed successfully! I haven’t yet installed or tested either, but this particular issue seems solved. Thank you again for your help!