Fixed small problem caused by 'sh -e' in 10_linux