Update PolyML to version 5.5.1