One last rename in imkl.py