Make proper filename for modules, so the source can be found by kcachegrind.