[0_13_0] sed find/replace 0.12 -> 0.13