tools: some helper scripts