Here a patch from Nicolas Turro <Nicolas.Turro@inrialpes.fr> for
"refclock_jupiter" NTPD driver in order to allow it to works with
linuxPPS support.