Switch to printf per Armaël's suggestion in issue #1