Just to be sure I understand, the file name as it stands today is usable, isn't it? It's just not as nice as it could be, because of the extra escaping of the running number?