Re-re-re-retry to fix travis settings