Summary of changes: b0e11d4... Ignore for the moment the test for armadillo (*) 9bff36d... Ignore for the moment the test for armadillo (to be removed (*) 50064c4... Use the correct shell idiom "if true" instead of "if 1" (*) (*) This commit already existed in another branch; no separate mail sent