Bump version to 1.88