flightgear sensor hil: bugfixes