OTHER: Fix travis with a big hammer.

Should be cleaned up later, but this'll do for now.