Fix #88: xdebug file links do not depend on the extension being loaded