Correct the setup files