fix undefined dgetrf_
bugfix in flint.m2