I don't know ... I supposed it was deleted by the upgrade.php but not sure ... And I don't see anything else that could have done that ... And I can't reproduce that bug ... O.o