taskprocessor.c: Fix printf type mismatch