petra-tool / scripts