Fix line endings in sm-random-5000.out