Fixed small oversight in sed line that changes 10_linux