o Minor features:
    - "make check" now runs extra tests beyond the unit test scripts if
      Python is installed.