Upgrade doctools to fix OSX issue.