Update doctest.h