It's ok to change this, but I did this for a reason. It was easy to test. If I wanted to set fast-kast as the default option I would go into GlobalSettings and modify the option to true. If I wanted to temporarily disable it, I would just add the fast-kast option to kompile.