revert travis workaround