another fix to travis runner