Fix the name of the setup file.