I don't understand the use of this file, but I'm sure it's useful.