Slightly modify Travis config.