some corrections to ivy module definitions and added some more jars