Add patch for armadillo