Ok -- in that case, this PR should probably add the appropriate class in setupext.py to add it as a dependency (and update the INSTALL doc accordingly).