This is an internal development release, fixing recently discovered bugs.