Travis-CI mods