This is all of a sudden a lie. We're not changing the working directory anymore. I'd of course change this comment.