write filenames as len+string, instead of zero terminated string