Fix linking of doctool