can you briefly explain why we can drop this file? It's not obvious to me.