Fixed crash on 32 bit systems by ensuring that SpikeMonitor.i was 32 bit