Fixed travis config filename (how embarrassing)