mantis 3689 add a new format: tab-delimited