doctest patch now works with version tagged .so files.