It turns out that the deployment guy messed up the extract of the code, such that some files were missing.  We don’t know how this happened, and it’s too late to spend a lot of time worrying about it.  At least it’s working.  Now all that’s left is some quick testing to make sure that everything is running correctly.