fixed debian printf errors