script that manages files generated by 'vtrace'