Fix Travis-CI smoke tests