some scripts useful for delta debugging