The print_err primitive does not output in stderr

In this code snippet, print_err("toto") we would expect toto to be output on stderr. However, we got an output on stdout. It would appear that HAVM already had this problem, and it would be great to resolve it soon.