remove spurious warning from hobodecoder.pl