More fixes for travis

Let's just stay in the right directories to begin with.