amirouche/combinatorix not found