cwi-swat/rascal — pull request #11 by Y3PP3R (2012-10-23 14:56:49+00:00)
Title: /tmp does not work on windows 

So I fixed it