Add require for doctest/core