Got boost, armadillo and threads to work in 64bits