Yes, kix32 is the only thing in the profile. I'm using the default file
name of kixtart.kix

I put that in the profile, but it didn't work

kix32.exe kixtart.kix

Which version would be the best to go back to?