ismindex: produce .ismf file