Travis Fiddling

Hopefully fixing the Travis build failure.