Changes entailed in upgrading from sufia 4.0 to 4.2.0 - Fixes #110