(#4) filenames

the fix for #4.