SpikeSource CEO: Linux all grown up