Added plus-sign compatibility to pibcomp, pibdump and pib2xml