#149585: quasi-fix for devel.module interference. Of course, currently...

#149585: quasi-fix for devel.module interference. Of course, currently devel.module is broken and does not properly detect this so it interferes anyway, even though it claims not to.