Travis-CI tweaks.