0b1kn00b/stx_simplex not found