Fix building on Travis CI.

This should hopefully work.