fixes #10
Of course this patch does not fix it. It rather adds it to the official
list of bugs
avoid non portable print
fixes #3