52
I figured out the problem, and posted a bug report, with a suggested fix,
here.
You don't have to do a complete install to reproduce the error. All you have to do is delete cache/adminmenu.php and visit the admin page.
The simplest way to avoid the error message is to delete cache/index.html and let the install script create it.