use percent encoding for filename header