Add test cases. Improve setting of destination files of doctest.