Removed dependency on printf_stderr in ABI