Travis CI tweaks.