You don't need this. We use our own doctest runner (`./bin/doctest`).