Fixing the .def file import