Use printf_stderr to support log on FX SO