fix shell script error which says 'no such file'