fix an MKL-related rebase mistake