Don't run doctests anymore