do I need to use the travis download mode for pharo?