Merge proposals

mmseqs2 in Ubuntu has no merge proposals.