Ensuring 32 bit parameters to ioctl() also on 64 bit architectures.

The VoxBox demo app does not work on the 64 bit version of Ubuntu 13.04. This fix patch will take care of that problem. I have corrected a small spelling error also.