travis does not start redis automatically (!?)