Replace custom xprintf by standard asprintf.