minor bugfixes Rev: lib/master.pike:1.42 Rev: lib/modules/Getopt.pmod:1.3 Rev: lib/modules/LR.pmod/parser.pike:1.3 Rev: src/configure.in:1.90