use sphinx 1.2.2