Upgrade to optiq-core-0.4.12.