Add more printf at luatex.c/main