Here are the changes that allowed drlaunch to work for me. However, it's far from final solution and I don't know if they will not break anything.