travis workaround for now...