set module name for toolchain using correct det_full_module_name method, to make it always work with custom module naming schemes

@geimer: this should fix the problem that's blocking you right now

I might need to figure out one more thing w.r.t. the devel module name before this really works for you, I'm looking into that...