Make use repo better.

This might fail (robustus is currently stochastic - I'm working with the travis-ci guys on getting us a longer runtime). Merge anyway