Fix choice MKL directory from Makefile.config