travis workaround?