Changing a few settings for MKL on Ubuntu#13

mdouze merged 2 commits intofacebookresearch:masterfacebookresearch/faiss:masterfrom

brunodoamaral:patch-1brunodoamaral/faiss:patch-1Copy head branch name to clipboard