with cleaned and rebuilt on master (not 3.6) dev tools,
because otherwise the CI build was failing, probably due to
factoring out the solver, etc.