Bump version number to v0.12.4