Apparently the override argument to add_directive_to_domain was added in sphinx
1.8.

(cherry picked from commit a257782f)