better filename for the archived IP file