some tools/scripts for theos dev