<div dir="ltr">Not sure if it is relevant, but the -pie option was recently discussed<div>on flint-devel, sage-devel and sage-release, see</div><div><div><a href="https://groups.google.com/d/topic/flint-devel/Y7v70TW8ABg/discussion">https://groups.google.com/d/topic/flint-devel/Y7v70TW8ABg/discussion</a></div><div><a href="https://groups.google.com/d/topic/sage-devel/TduebNoZuBE/discussion">https://groups.google.com/d/topic/sage-devel/TduebNoZuBE/discussion</a><br></div><div><div><a href="https://groups.google.com/d/topic/sage-release/OtYJUXuf2vk/discussion">https://groups.google.com/d/topic/sage-release/OtYJUXuf2vk/discussion</a></div></div><div><br></div></div><div>A previous discussion on flint-devel (May 2016):</div><div><div><a href="https://groups.google.com/d/topic/flint-devel/TzGVQWrxkc0/discussion">https://groups.google.com/d/topic/flint-devel/TzGVQWrxkc0/discussion</a><br></div></div><div><br></div></div>