prevent armadillo from debugging