Revert "Add travis line to work around their bug"

This reverts commit ec725f29b95f53542fda682f607a6801b147a8f2.

The upstream bug is claimed to be fixed.