version to 0.12.4