updating jaggery-extensions