In fact, what would be best is removing this file entirely.