fix file name construction; should work now