Work around pip bug