Fix compatibility issue in pc_printf