test
master conf
Merge branch 'master' of github.com:casadi/testbot into ubu64
Forgive non-existant countfile
merge
Merge branch 'master' of github.com:casadi/testbot into ubu64
work
merge