Use asprintf(3) in a Linux-compatible way.