phase1: fix libc format specifier