Fixes for ST3

The second commit hardcodes the settings-file name. I wrote a brief comment about this in the commit message; not sure if this is the best solution.
Thanks!