Some settings for tools I use