Possible newbie question.
I'm following the "Getting Started" instructions for Python API building (https://community.rti.com/static/documentation/connext-dds/7.1.0/doc/api/connext_dds/api_python/building.html)
I'm stuck on the Step 2, running the "configure" line, specifically a FileNotFoundError for my target library directory: FileNotFoundError: rti: x64Linux3gcc4.8.2 target library directory was not found
The command I'm running: python configure.py x64Linux3gcc4.8.2
Context: