I have further refined the choice of libraries for the serial build. The correct serial MKL libraries are still unknown.