Updating version numbers for 0.8.12 release