don't care about rubyspecs, but do care about jittests. also need the ld path for z3
Merge branch 'interacting-solvers' of github.com:timfel/babelsberg-r into interacting-solvers