Update build instruction for ioctl.c