fix types for ioctl secnd argument; call via syscall for Linux