tprintf: fix tprintf calls with 64bit arguments