Version updated to 0.9.7.12