Travis config update #12