Question: the source file is different from when the module was built