update to v0.4.12