Fix doctest.testfile issue