bugfix in pindel_config