printf debug stuff on stderr
fix warning