Redirection from stuff.mit/edu only seems to work if this file exists, regardless of what's in it!