RunMantis always includes local oscillator in header