gundo updated to 2.5.0