Add missing header for snprintf