correct path to mathlib rtdll import library