Update formula: MySQL Cluster 7.3.1.