defrag: updated file header