A few changes to make using Mono.Debugging more practical