avoid sphinx download if already