Completely off topic. I wanted to contact you about USSM (see your comment here: http://news.ycombinator.com/item?id=3025521 http://news.ycombinator.com/item?i

Completely off topic. I wanted to contact you about USSM (see your comment here: http://news.ycombinator.com/item?id=3025521 http://news.ycombinator.com/item?id=3025521 ). Could you please send me an e-mail (pick it from my web site), I'd like to know if you still have that compilation error with the latest USSM. Wild guess about the cause: I forgot to include some dependencies in the makefile. In the meantime, I'll try to reproduce the problem.