I think this file should not be deleted either.