Update github stats
Fix #1839: Compilation on Solaris
Update version number