Pins to the 4.2.0 release of Sufia