cmake for mic now works (mic_frodo/) I removed reference to reorder.h (not used)
because it created problems with cmake (duplication of boost::fpclassify for some
unknown region, and this error does not occur when I use Make direction from mic/