Updating to latest version of divine