Adjust Travis config a bit