fix bad file name passing to shell