parse ioctl()'s argument. Fixes #233