[aot] Use g_print instead of printf in one place since the former works on android.