VirtualBox 4.2.8 released on 2013-02-27
My rsync mirror was stale. Bug was fixed three days before it got posted...