html: modify dest filename if exists and undeletable