Use more portable redirect. Jenkins shell is weird.
Use more portable redirect. Jenkins shell is weird.

stan-dev/math,stan-dev/math,stan-dev/math,stan-dev/math,stan-dev/math,stan-dev/math,stan-dev/math,stan-dev/math,stan-dev/math