This patch is just a fix needed to make ppsi engine compile without having
to change the ptp-noposix wrc_debug_printf function
Signed-off-by: Aurelio Colosimo <aurelio@aureliocolosimo.it>