[PATCH 1/1] configure: prefer python's sphinx module