fix another mips gratuitous-incompatibility bug: ioctl numbers