FIX: Fixes for PRINTF_ATTRIBUTE