Revert the Travis workaround.

The issue has been fixed.

@Johann-S Please approve and I'll rebase to see when this passes again.