Update to prime.0.4.2.