[PATCH] RFC: Don't override system's default ping_group_range for pasta