Links for octave-kernel-launcher