Apparently we're supposed to list the .def file in sources