Cope with Debian naming of rpsblast+ binary