ioctl in Linux is unsigned long really, despite man page