asprintf: we are also using vasprintf, let's define it correctly