Correct setup file