hey claude, my users have told me that their boot.ini file is missing, was that us?