Some tools to change the default turnkeylinux operation