update version to 1.8.8
Merge branch 'master' into master-github