fix get_ioctl_names.sh