I guess these extensions are builtin since the doctest target just worked for me. Or do these need to be added as dependencies to `setup.py` ?