[Koha] bug in printerConfig.pl ?