Hmmm. I swear I checked that a couple of days ago when this first happened, and they were there. But, I see that index.php is empty now. Grrr! However, my administrator index.php is there, but it is not doing anything either. Not sure what is missing there.
I wonder if it is a recent PHP...