do install before install_python
repair linux-minimal
git stash popMerge branch 'master' of github.com:casadi/testbot
work