[PATCH] fix to_open debug setting

[Tom Tromey]

Pedro> I think it'd be nice if this included the target's name, like your
Pedro> generated debug methods.

Tom> Here's a new version.

I'm checking this in now.

Tom