compiles...
Merge branch 'odes' of github.com:edinburgh-rbm/mois into odes