Add optionflags in doctest.testfile