Travis config fixes