I don't really understand the meaning of this file, but it works