use println instead of C printf, this fixes #12