0.13.8: bump version number