Use latest Frege, enhancements, fixes