More tinkering for travis-ci.