Update Gundo plugin