FIX: travis config 12 for shark