some helpful tools, scripts, ...